#!/bin/bash
grub_dir="grub"
if [ -d "$grub_dir" ]; then  
    echo "删除目录 $grub_dir"  
    rm -rf "$grub_dir"    
fi
git clone https://git.savannah.gnu.org/git/grub.git
cd grub
git reset --hard 069cc46c9648669fc1f76a719e1526adc3fdb6c6
cd ..
